AN EPIGRAM AND A TREASURY: ONSIM.FGEXXXIIIB [B. 162; D. 163;EGXXXIII]
نویسندگان
چکیده
منابع مشابه
Epigram reloaded: a standalone typechecker for ETT
Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Epigram: Practical Programming with Dependent Types
You can’t, of course: this program is obviously nonsense unless you’re a typechecker. The trouble is that only certain computations make sense if the null xs test is True, whilst others make sense if it is False. However, as far as the type system is concerned, the type of the then branch is the type of the else branch is the type of the entire conditional. Statically, the test is irrelevant. W...
متن کاملStudies of Three-Body B^+→D ̅^* 〖(2007)〗^0 K^+ K ̅^0 and B^0→D^* 〖(2010)〗^- K^+ K ̅^0 Decays
We analyze three-body decays of and . Under the factorization approach, there are tree level diagrams for these decay modes and the transition matrix element of decay is factorized into a form factor multiplied by decay constant and form factor multiplied into weak vertices form factor. The transition matrix element of decay is also factorized into a form factor multiplied into weak vertic...
متن کاملPhase Distinctions In The Compilation Of EPIGRAM
It is commonly believed that in dependently typed programming languages, the blurring of the distinction between types and values means that no type erasure is possible at run-time. In this paper, however, we propose an alternative phase distinction. Rather than distinguishing types and values in the compilation of EPIGRAM, we distinguish compile-time and run-time evaluation, and show by a seri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Classical Quarterly
سال: 2013
ISSN: 0009-8388,1471-6844
DOI: 10.1017/s0009838813000359